#ifndef PLAT_H
#define PLAT_H

#define PLAT_MEM_BASE 0x80200000
#define PLAT_MEM_SIZE 0x8000000

#define PLAT_GICD_BASE_ADDR (0x51a00000)
#define PLAT_GICR_BASE_ADDR (0x51b00000)

#define PLAT_UART_ADDR (0x5a060000)
#define UART_IRQ_ID (377)

#endif
